Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Hans Van Ditmarsch And NotEspagne

List of bibliographic references

Number of relevant bibliographic references: 26.
Ident.Authors (with country if any)Title
000044 Zeinab Bakhtiari [France] ; Hans Van Ditmarsch [France] ; Sabine Frittella [Pays-Bas]Algebraic Semantics of Refinement Modal Logic
000699 Jie Fan [République populaire de Chine] ; Hans Van Ditmarsch [France]Neighborhood Contingency Logic
000726 Jean-René Courtault [France] ; Hans Van Ditmarsch [France] ; Didier Galmiche [France]An Epistemic Separation Logic
000D30 Hans Van Ditmarsch [France]The Ditmarsch Tale of Wonders
000D36 Hans Van Ditmarsch [France] ; Tim French [Australie]Semantics for Knowledge and Change of Awareness
000D43 Hans Van Ditmarsch [France] ; Sophia Knight [France]Partial Information and Uniform Strategies
000D54 Carlos Areces [Argentine] ; Hans Van Ditmarsch [France] ; Raul Fervari [France] ; François Schwarzentruber [France]Logics with Copy and Remove
000D56 Maduka Attamah [Royaume-Uni] ; Hans Van Ditmarsch [France] ; Davide Grossi [Royaume-Uni] ; Wiebe Hoek [Royaume-Uni]Knowledge and Gossip
000D59 Hans Van Ditmarsch [France] ; Sujata Ghosh [Inde] ; Rineke Verbrugge [Pays-Bas] ; Yanjing Wang [République populaire de Chine]Hidden protocols: Modifying our expectations in an evolving world
000D66 Hans Van Ditmarsch [France]Dynamics of lying
000D81 Hans Van Ditmarsch [France] ; Sophia Knight [France] ; Aybüke Özgün [France]Arbitrary Announcements on Topological Subset Spaces
000D91 Maduka Attamah [Royaume-Uni] ; Hans Van Ditmarsch [France] ; Davide Grossi [France] ; Wiebe Hoek [Royaume-Uni]A Framework for Epistemic Gossip Protocols
000E42 Hans Van Ditmarsch [France] ; Sujata Ghosh [Inde] ; Rineke Verbrugge [Pays-Bas] ; YANJING WANG [République populaire de Chine]Hidden protocols: Modifying our expectations in an evolving world
000E55 Thomas Gotnes [France] ; Hans Van Ditmarsch [France] ; Tim French [Australie]The undecidability of group announcements
000E61 Hans Van Ditmarsch [France] ; Jie Fan [République populaire de Chine] ; Wiebe Hoek [Royaume-Uni] ; Petar Iliev [France]Some Exponential Lower Bounds on Formula-size in Modal Logic
000E84 Jie Fan [République populaire de Chine] ; Yanjing Wang [République populaire de Chine] ; Hans Van Ditmarsch [France]Almost Necessary
000F98 Hans Van Ditmarsch [France] ; Andreas Herzig [France] ; Emiliano Lorini [France] ; François Schwarzentruber [France]Listen to me! Public announcements to agents that pay attention - or not
001332 Philippe Balbiani [France] ; Hans Van Ditmarsch [France] ; Andrey Kudinov [Russie]Subset space logic with arbitrary announcements
001377 Hans Van Ditmarsch [France] ; Wiebe Hoek [Royaume-Uni] ; Ji Ruan [France]Connecting dynamic epistemic and temporal epistemic logics
001480 Philippe Balbiani [France] ; Hans Van Ditmarsch [France, Inde] ; Andrey Kudinov [Russie]Subset Space Logic with Arbitrary Announcements
001500 Hans Van Ditmarsch [France]Revocable Belief Revision
001542 Hans Van Ditmarsch [France] ; Andreas Herzig [France] ; Emiliano Lorini [France] ; François Schwarzentruber [France]Listen to Me! Public Announcements to Agents That Pay Attention — or Not
001595 Giacomo Bonanno [États-Unis] ; Hans Van Ditmarsch [France] ; Wiebe Van Der Hoek [Royaume-Uni]Editorial Introduction to the Special Issue LOFT Sevilla
001631 Mikkel Birkegaard Andersen [Danemark] ; Thomas Bolander [Danemark] ; Hans Van Ditmarsch [France] ; Martin Holm Jensen [Danemark]Bisimulation for Single-Agent Plausibility Models
001746 Hans Van Ditmarsch [France] ; Jerome Lang [France] ; Abdallah Saffidine [France]Strategic voting and the logic of knowledge
001C79 Hans Van Ditmarsch [France] ; Wiebe Van Der Hoek ; Barteld P. KooiLocal properties in modal logic
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022